vector bundle, 2-vector bundle, (∞,1)-vector bundle
real, complex/holomorphic, quaternionic
In the most general sense, a bundle over an object in a category is simply an object of equipped with a morphism in from to :
One often refers to such a bundle simply as , even though is really part of the data.
For a generalized element of , the fiber of the bundle over is the pullback .
Given two bundles and over , then a morphism of bundles over is a morphism which makes this diagram commute:
This way bundles over form a category, also called the slice category of over .
One generally considers bundles with extra properties or structure:
etc.
The category of bundles over a given object is the over category . The collection of all bundles in a given category therefore arranges itself into the codomain fibration . As such, the descent for bundles may be expressed as monadic descent with respect to the codomain bifibration. This does in general not work inside one of the more restrictive subcategories of bundles with extra structure and property, as the push-forward operation typically does not respect these extra conditions. For more on this see monadic descent of bundles.
In physics, gauge fields may be described in terms of bundles with connection.
bundle, display map
Introductory notes on fiber bundles, vector bundles and connections on bundles:
See also many references at fiber bundles in physics.
Last revised on April 17, 2023 at 11:28:53. See the history of this page for a list of all contributions to it.